基于BLP的Web系统多级安全策略模型

Web系统的广泛应用使其安全问题日益突出.通过分析当前Web系统存在的安全隐患,在Web资源的访问控制上引入了多级安全策略,从Web系统的功能需求和安全需求出发,分析了BLP模型直接应用于Web系统时导致的问题.在BLP模型的基础上,提出了Web系统的多级安全策略模型,对Web系统中的概念、对象和操作进行抽象和提炼,研究了Web系统处于安全状态时应当满足的安全条件,并在此基础上,对Web系统、系统状态、和状态转换进行了形式化描述.     

捷联寻北仪抗环境干扰的研究

捷联寻北仪在使用中会受到各种环境干扰的影响,从而削弱有用信号,降低寻北精度。研究了一种测量角速度干扰的方法。首先,定义一个虚拟的数学平台;然后,利用加速度计输出和陀螺仪输出积分计算得到实时姿态角相比较,并采用P I控制器进行反馈控制将数学平台调平;从而把角速度干扰从陀螺输出信号中测量出来。该方法简单实用,能显著提高寻北仪抗环境干扰的能力。     

抗美援朝战争政治动员评析及启示

在抗美援朝战争中,新中国不仅在军事上创造了奇迹,而且展现了应对国际霸权的政治动员能力.抗美援朝战争政治动员的成功是多种因素促成的.分析研究抗美援朝战争政治动员的成功经验,可以得出许多有益的启示.     

Dynamic inventory management with cash flow constraints

In this article, we consider a classic dynamic inventory control problem of a self‐financing retailer who periodically replenishes its stock from a supplier and sells it to the market. The replenishment decisions of the retailer are constrained by cash flow, which is updated periodically following purchasing and sales in each period. Excess demand in each period is lost when insufficient inventory is in stock. The retailer's objective is to maximize its expected terminal wealth at the end of the planning horizon. We characterize the optimal inventory control policy and present a simple algorithm for computing the optimal policies for each period. Conditions are identified under which the optimal control policies are identical across periods. We also present comparative statics results on the optimal control policy. © 2008 Wiley Periodicals, Inc. Naval Research Logistics 2008     

对英国无人机系统设计标准的解读

本文对英国防标准00—970第9部《无人机设计和适航性要求》的内容和结构进行了介绍和分析，并通过与国内相关标准对比分析，详细阐述了英国防标准00—970第9部对国内开展无人机系统研制的借鉴意义。     

适应形势任务变化改进我国军事代表工作

本文主要分析了我国目前军事代表工作存在的问题，对推进军事代表工作改革提出了对策和建议。     

试验用弹的研究

分析20世纪80年代以来几次较大规模局部战争中,尤其是伊拉克战争中制导武器使用的特点,阐述在现役武器系统发射平台不变的情况下,为其开发设计制导弹丸的研制过程中,怎样合理的选用试验用弹,以达到生产出高效费比的制导武器。     

国家电磁空间安全的特点与对策

随着信息化的发展，国家利益已经延伸到了电磁空间。维护国家电磁空间安全，对国家的生存和发展意义重大。文章从国家安全的构成要素中提炼出国家电磁空间安全所呈现的主要特征，并针对其安全特性探讨了实现我国电磁空间安全的对策和建议。     

新中国成立后毛泽东国防科技思想的发展及其启示

从1949年新中国成立到1976年,毛泽东国防科技思想经历了3个发展阶段.认真研究毛泽东国防科技思想的发展,对于新世纪新阶段的国防和军队建设具有重要的理论意义和现实意义.     

Subspace dynamic‐simplex linear interpolation search for mixed‐integer black‐box optimization problems

Design and management of complex systems with both integer and continuous decision variables can be guided using mixed‐integer optimization models and analysis. We propose a new mixed‐integer black‐box optimization (MIBO) method, subspace dynamic‐simplex linear interpolation search (SD‐SLIS), for decision making problems in which system performance can only be evaluated with a computer black‐box model. Through a sequence of gradient‐type local searches in subspaces of solution space, SD‐SLIS is particularly efficient for such MIBO problems with scaling issues. We discuss the convergence conditions and properties of SD‐SLIS algorithms for a class of MIBO problems. Under mild conditions, SD‐SLIS is proved to converge to a stationary solution asymptotically. We apply SD‐SLIS to six example problems including two MIBO problems associated with petroleum field development projects. The algorithm performance of SD‐SLIS is compared with that of a state‐of‐the‐art direct‐search method, NOMAD, and that of a full space simplex interpolation search, Full‐SLIS. The numerical results suggest that SD‐SLIS solves the example problems efficiently and outperforms the compared methods for most of the example cases. © 2017 Wiley Periodicals, Inc. Naval Research Logistics 64: 305–322, 2017